1. Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
پدیدآورنده : )by( Wilfreid Buchholz )et al(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
2. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
299
.
8
.
I85
1981
3. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
4. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
Vol
.
897
5. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematical analysis - Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
1
.
L4
v
.
897
